1. A code mapping scheme for dataflow software pipelining
پدیدآورنده : / G.R. Gao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
2. Languages and compilers for parallel computing
پدیدآورنده : \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامه‌نویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرم‌افزار -- کنگره ها
رده :
QA
76
.
642
.
L32
2016
E-Book
,
3. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
پدیدآورنده : David O'Hallaron )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
4. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
5. Proceedings of the 1994 international conference on parallel processing August 15-19, 1994
پدیدآورنده : K.C. Tai
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Parallel processing)electronic computers(,Computer architecture,Computer software - Geotools,Electronic data processing,Computer networks
رده :
QA
76
.
6
.
I5
1994
6. Proceedings, 23rd Euromicro Conference: new frontiers of information technology: short contributions: Budapest, Hungary, September 1-4, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer architecture,Congresses ، Multimedia systems,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
758
.
S98
1997
7. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
8. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
9. Software for Parallel Computers
پدیدآورنده : / Edited by R. H. Perrott
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Parallel Processing (Electronic computers) -- Congresses,Computer Software -- Congresses
رده :
QA
76
.
58
.
S629
1992
10. Software for parallel computers
پدیدآورنده : Edited by R. H. Perrott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Parallel processing (electronic computers),Computer software
رده :
QA
,
76
.
58
,.
S629
,
1992
11. Software pipelines and SOA :
پدیدآورنده : Cory Isaacson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development,Parallel processing (Electronic computers),Web services
رده :
QA76
.
58
.
I82
2009
12. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
